Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
281	Microsoft Word - ijcai05d.doc Add to Reading List Source URL: ai.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:02 O0 Control theory Disjunctive normal form Economic model Logic Science Mathematics Algebraic logic Boolean algebra Adnan Darwiche
282	A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:47 Binary decision diagram Many-valued logic Mathematics Information science Diagrams Boolean algebra Model checking
283	Dichotomy for Holant∗ Problems of Boolean Domain Jin-Yi Cai∗ Pinyan Lu† Mingji Xia‡ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-07-10 15:42:02 Algebraic structures Mathematical structures Universal algebra Model theory Structure Integral transform Arity Field Mathematics Algebra Abstract algebra
284	Transcendental syntax 2.0 Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] February 14, 2012 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-02-14 09:23:43 Non-classical logic Model theory Boolean algebra Deontic logic Modal logic Paraconsistent logic Negation Linear logic First-order logic Logic Mathematical logic Philosophical logic
285	Dichotomy for Holant* Problems with a Function on Domain Size 3 arXiv:submit[removed]cs.CC] 10 Jul[removed]Jin-Yi Cai∗ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-07-10 14:19:30 Matrices Mathematical structures Boolean algebra Model theory Structure Universal algebra Adjacency matrix FKT algorithm Group action Mathematics Algebra Abstract algebra
286	Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship: Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2014-05-13 11:37:03 Formal methods Electronic design automation Boolean algebra Electronic design Electronic engineering Boolean satisfiability problem Model checking Solver Automated theorem proving Theoretical computer science Mathematics Applied mathematics
287	FairplayMP – A System for Secure Multi-Party Computation Assaf Ben-David∗ Noam Nisan∗ Benny Pinkas† Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2008-09-03 07:33:47 Computing Secure multi-party computation Secure two-party computation Pseudorandom generator Circuit Boolean circuit Transmission Control Protocol Computer Actor model Cryptographic protocols Theoretical computer science Applied mathematics
288	Combining Candidate and Document Models for Expert Search Krisztian Balog Maarten de Rijke ISLA, University of Amsterdam Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2009-02-10 08:12:14 Query expansion Relevance Language model Text Retrieval Conference Precision and recall Enterprise search Extended Boolean model Relevance feedback Information science Information retrieval Science
289	On Analysis and Synthesis of (n,k)-Non-Linear Feedback Shift Registers Add to Reading List Source URL: cecs.uci.edu Language: English - Date: 2008-02-11 20:43:22 Model checking Grain Mathematics Numerical software Theoretical computer science Applied mathematics COMPASS/Sample Code GEC Binary decision diagram Boolean algebra Diagrams
290	On induction vs. -continuity Add to Reading List Source URL: www.cs.cornell.edu Language: English* - Date: 2013-06-11 18:45:23 Algebraic structures Kripke semantics Boolean algebra Model theory Kleene algebra Boolean algebras canonically defined C*-algebra Mathematics Mathematical logic Logic

UPDATE